K. Rustan M. Leino : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Libre accès à la connaissance et à la culture.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres (14)
Les plus populaires
Liste
- Liste
- Tableau

1

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Springer-Verlag Berlin Heidelberg

Barbara Jobstmann, K. Rustan M. Leino (eds.)

Année:

2016

Langue:

english

Fichier:

PDF, 16.77 MB

0 / 0

english, 2016

2

Program Proofs

Program Proofs

K. Rustan, M. Leino

Année:

2023

Langue:

english

Fichier:

EPUB, 7.92 MB

5.0 / 5.0

english, 2023

3

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 6.13 MB

0 / 0

english, 2011

4

Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceed

Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceed

Springer Nature.

Parosh Aziz Abdulla (ed.), K. Rustan M. Leino (ed.)

Année:

2013

Langue:

english

Fichier:

PDF, 5.05 MB

0 / 5.0

english, 2013

5

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 5.68 MB

0 / 0

english, 2011

6

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 7.89 MB

0 / 0

english, 2011

7

Program Proofs

Program Proofs

K. Rustan M. Leino

Année:

2023

Langue:

english

Fichier:

EPUB, 7.92 MB

5.0 / 5.0

english, 2023

8

Program Proofs

Program Proofs

K. Rustan M. Leino

Année:

2023

Langue:

english

Fichier:

PDF, 24.13 MB

0 / 5.0

english, 2023

9

Program Proofs

Program Proofs

K. Rustan M. Leino

Année:

2023

Langue:

english

Fichier:

PDF, 13.84 MB

0 / 5.0

english, 2023

10

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 5.05 MB

0 / 0

english, 2011

11

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 6.81 MB

0 / 0

english, 2011

12

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 7.11 MB

0 / 0

english, 2011

13

Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part II

Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part II

Alexandra Silva, K. Rustan M. Leino

Année:

2021

Langue:

english

Fichier:

PDF, 28.97 MB

0 / 5.0

english, 2021

14

Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part I

Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part I

Alexandra Silva, K. Rustan M. Leino, (eds.)

Année:

2021

Langue:

english

Fichier:

PDF, 32.05 MB

0 / 5.0

english, 2021